Formal Methods in Agent-Oriented Software Engineering
نویسندگان
چکیده
منابع مشابه
Agent-Oriented Software Engineering: The State of the Art
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agents and multi-agent systems are just such tools. We begin by reviewing what is meant by the term “agent”, and contrast agents with objects. We then go on to examine a number of prototype techniques proposed for enginee...
متن کاملMethods and Tools for Information Systems Development: Introduction
• Software requirements definition and validation • Domain-specific modeling and architectures • Software reuse strategies and techniques • CASE tool integration and life cycle support • Cleanroom software engineering methods and tools • Software process modeling and assessment • Empirical studies of tool and method effectiveness • Formal methods for systems development • Intelligent software a...
متن کاملFormal ensemble engineering: Position paper
The ‘ensembles’ identified by the InterLink working group on Software Intensive Systems comprise vast numbers of components adapting and interacting in complex and even unforeseen ways. If the analysis of ensembles is difficult, their synthesis, or engineering, is downright intimidating. We show, following a recent three-level approach to agent-oriented software engineering, that it is possible...
متن کاملMotivation for a new formal framework for agent-oriented software engineering
Agent-Oriented Software Engineering (AOSE) poses several challenges to the traditional theory and practice of software engineering with the emergence of a variety of theories and tools proposed to deal with this challenge. Agent frameworks with formal foundations have an important role to play in this scenario by allowing analysis based on a mathematical model. It is our contention that the ava...
متن کاملFormalising Multi-Agent Organisations
Agent oriented software engineering is seen as the approach taken object oriented approaches one step ahead. The design of agent systems is based on three fundamental perspectives: the functional, the interactional and the organisational perspective. The organisation perspective becomes a central design issue if the number of agents is large or the environment is unstable. While the functional ...
متن کامل